Bridging Static and Dynamic Program Analysis using Fuzzy Logic
نویسندگان
چکیده
منابع مشابه
Bridging Static and Dynamic Program Analysis using Fuzzy Logic
Static program analysis is used to summarize properties over all dynamic executions. In a unifying approach based on 3-valued logic properties are either assigned a definite value or unknown. But in summarizing a set of executions, a property is more accurately represented as being biased towards true, or towards false. Compilers use program analysis to determine benefit of an optimization. Sin...
متن کاملStatic Program Analysis via 3-Valued Logic
This paper reviews the principles behind the paradigm of “abstract interpretation via -valued logic,” discusses recent work to extend the approach, and summarizes ongoing research aimed at overcoming remaining limitations on the ability to create programanalysis algorithms fully automatically.
متن کاملStatic and Dynamic Program
Interpretation and run-time compilation techniques are increasingly important because they can support heterogeneous architectures, evolving programming languages, and dynamically-loaded code. Interpretation is simple to implement, but yields poor performance. Run-time compilation yields better performance, but is costly to implement. One way to preserve simplicity but obtain good performance i...
متن کاملStatic Analysis for Logic-based Dynamic Programs
A dynamic program, as introduced by Patnaik and Immerman (1994), maintains the result of a fixed query for an input database which is subject to tuple insertions and deletions. It can use an auxiliary database whose relations are updated via first-order formulas upon modifications of the input database. This paper studies static analysis problems for dynamic programs and investigates, more spec...
متن کاملDynamic Color Object Recognition Using Fuzzy Logic
This paper presents a novel Logit-Logistic Fuzzy Color Constancy (LLFCC) algorithm and its variants for dynamic color object recognition. Contrary to existing color constancy algorithms, the proposed scheme focuses on manipulating a color locus depicting the colors of an object, and not stabilizing the whole image appearance per se. In this paper, a new set of adaptive contrast manipulation ope...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2017
ISSN: 2075-2180
DOI: 10.4204/eptcs.250.7